Equational reasoning with context-free families of string diagrams

String diagrams provide an intuitive language for expressing networks of interacting processes graphically. A discrete representation of string diagrams, called string graphs, allows for mechanised equational reasoning by double-pushout rewriting. However, one often wishes to express not just single equations, but entire families of equations between diagrams of arbitrary size. To do this we define a class of context-free grammars, called B-ESG grammars, that are suitable for defining entire families of string graphs, and crucially, of string graph rewrite rules. We show that the language-membership and match-enumeration problems are decidable for these grammars, and hence that there is an algorithm for rewriting string graphs according to B-ESG rewrite patterns. We also show that it is possible to reason at the level of grammars by providing a simple method for transforming a grammar by string graph rewriting, and showing admissibility of the induced B-ESG rewrite pattern.Comment: International Conference on Graph Transformation, ICGT 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-21145-9_

High Fat Diet Prevents Over-Crowding Induced Decrease of Sex Ratio in Mice

Adaptive theory predicts that mothers would be advantaged by adjusting the sex ratio of their offspring in relation to their offspring's future reproductive success. In the present study, we tested the effect of housing mice under crowded condition on the sex ratio and whether the fat content of the diet has any influence on the outcome of pregnancies. Three-week-old mice were placed on the control diet (NFD) for 3 weeks. Thereafter the mice were allotted randomly to two groups of 7 cages each with 4, 6, 8, 10, 12, 14, and 16 mice in every cage to create increasing crowding gradient and fed either NFD or high fat diet (HFD). After 4 weeks, dams were bred and outcomes of pregnancy were analyzed. The average dam body weight (DBW) at conception, litter size (LS) and SR were significantly higher in HFD fed dams. Further, male biased litters declined with increasing crowding in NFD group but not in HFD. The LS and SR in NFD declined significantly with increasing crowding, whereas only LS was reduced in HFD group. We conclude that female mice housed under overcrowding conditions shift offspring SR in favor of daughters in consistent with the TW hypothesis and high fat diet reduces this influence of overcrowding

The representation of voluntourism in search engines: The case of South Africa

© 2015, © 2015 Government Technical Advisory Centre (GTAC). This paper responds to the paucity of research on the linkages between voluntourism and digital technology and seeks to understand the online representation of the phenomenon in a developing context. In particular, the researchers investigate the so-called ‘online domain’ of voluntourism in South Africa. The researchers collected a series of web results from search engines and analysed the presence of traditional and social media websites, the most relevant presented topics, and the type of argumentation found. Results identify the context and representation of voluntourism as it transpires virtually. This will contribute to the understanding of the interplay between voluntourism and digital technology, with specific emphasis on web presence. Ultimately, results will shed light on how digitally accessible voluntourism is in South Africa and will set the basis for future investigations

Recombinant Vesicular Stomatitis Virus Vaccine Vectors Expressing Filovirus Glycoproteins Lack Neurovirulence in Nonhuman Primates

The filoviruses, Marburg virus and Ebola virus, cause severe hemorrhagic fever with high mortality in humans and nonhuman primates. Among the most promising filovirus vaccines under development is a system based on recombinant vesicular stomatitis virus (rVSV) that expresses an individual filovirus glycoprotein (GP) in place of the VSV glycoprotein (G). The main concern with all replication-competent vaccines, including the rVSV filovirus GP vectors, is their safety. To address this concern, we performed a neurovirulence study using 21 cynomolgus macaques where the vaccines were administered intrathalamically. Seven animals received a rVSV vector expressing the Zaire ebolavirus (ZEBOV) GP; seven animals received a rVSV vector expressing the Lake Victoria marburgvirus (MARV) GP; three animals received rVSV-wild type (wt) vector, and four animals received vehicle control. Two of three animals given rVSV-wt showed severe neurological symptoms whereas animals receiving vehicle control, rVSV-ZEBOV-GP, or rVSV-MARV-GP did not develop these symptoms. Histological analysis revealed major lesions in neural tissues of all three rVSV-wt animals; however, no significant lesions were observed in any animals from the filovirus vaccine or vehicle control groups. These data strongly suggest that rVSV filovirus GP vaccine vectors lack the neurovirulence properties associated with the rVSV-wt parent vector and support their further development as a vaccine platform for human use

Heterozygous Yeast Deletion Collection Screens Reveal Essential Targets of Hsp90

Hsp90 is an essential eukaryotic chaperone with a role in folding specific “client” proteins such as kinases and hormone receptors. Previously performed homozygous diploid yeast deletion collection screens uncovered broad requirements for Hsp90 in cellular transport and cell cycle progression. These screens also revealed that the requisite cellular functions of Hsp90 change with growth temperature. We present here for the first time the results of heterozygous deletion collection screens conducted at the hypothermic stress temperature of 15°C. Extensive bioinformatic analyses were performed on the resulting data in combination with data from homozygous and heterozygous screens previously conducted at normal (30°C) and hyperthermic stress (37°C) growth temperatures. Our resulting meta-analysis uncovered extensive connections between Hsp90 and (1) general transcription, (2) ribosome biogenesis and (3) GTP binding proteins. Predictions from bioinformatic analyses were tested experimentally, supporting a role for Hsp90 in ribosome stability. Importantly, the integrated analysis of the 15°C heterozygous deletion pool screen with previously conducted 30°C and 37°C screens allows for essential genetic targets of Hsp90 to emerge. Altogether, these novel contributions enable a more complete picture of essential Hsp90 functions

Comparison of foot orthoses made by podiatrists, pedorthists and orthotists regarding plantar pressure reduction in The Netherlands

BACKGROUND: There is a need for evidence of clinical effectiveness of foot orthosis therapy. This study evaluated the effect of foot orthoses made by ten podiatrists, ten pedorthists and eleven orthotists on plantar pressure and walking convenience for three patients with metatarsalgia. Aims were to assess differences and variability between and within the disciplines. The relationship between the importance of pressure reduction and the effect on peak pressure was also evaluated. METHODS: Each therapist examined all three patients and was asked to rate the 'importance of pressure reduction' through a visual analogue scale. The orthoses were evaluated twice in two sessions while the patient walked on a treadmill. Plantar pressures were recorded with an in-sole measuring system. Patients scored walking convenience per orthosis. The effects of the orthoses on peak pressure reduction were calculated for the whole plantar surface of the forefoot and six regions: big toe and metatarsal one to five. RESULTS: Within each discipline there was an extensive variation in construction of the orthoses and achieved peak pressure reductions. Pedorthists and orthotists achieved greater maximal peak pressure reductions calculated over the whole forefoot than podiatrists: 960, 1020 and 750 kPa, respectively (p < .001). This was also true for the effect in the regions with the highest baseline peak pressures and walking convenience rated by patients A and B. There was a weak relationship between the 'importance of pressure reduction' and the achieved pressure reduction for orthotists, but no relationship for podiatrists and pedorthotists. CONCLUSION: The large variation for various aspects of foot orthoses therapy raises questions about a consistent use of concepts for pressures management within the professional groups

Orally Active Multi-Functional Antioxidants Are Neuroprotective in a Rat Model of Light-Induced Retinal Damage

Progression of age-related macular degeneration has been linked to iron dysregulation and oxidative stress that induce apoptosis of neural retinal cells. Since both antioxidants and chelating agents have been reported to reduce the progression of retinal lesions associated with AMD in experimental animals, the present study evaluates the ability of multi-functional antioxidants containing functional groups that can independently chelate redox metals and quench free radicals to protect the retina against light-induced retinal degeneration, a rat model of dry atrophic AMD.Proof of concept studies were conducted to evaluate the ability of 4-(5-hydroxypyrimidin-2-yl)-N,N-dimethyl-3,5-dioxopiperazine-1-sulfonamide (compound 4) and 4-(5-hydroxy-4,6-dimethoxypyrimidin-2-yl)-N,N-dimethyl-3,5-dioxopiperazine-1-sulfonamide (compound 8) to reduce retinal damage in 2-week dark adapted Wistar rats exposed to 1000 lx of light for 3 hours. Assessment of the oxidative stress markers 4- hydroxynonenal and nitrotyrosine modified proteins and Thioredoxin by ELISA and Western blots indicated that these compounds reduced the oxidative insult caused by light exposure. The beneficial antioxidant effects of these compounds in providing significant functional and structural protection were confirmed by electroretinography and quantitative histology of the retina.The present study suggests that multi-functional compounds may be effective candidates for preventive therapy of AMD

Orally Active Multi-Functional Antioxidants Delay Cataract Formation in Streptozotocin (Type 1) Diabetic and Gamma-Irradiated Rats

Age-related cataract is a worldwide health care problem whose progression has been linked to oxidative stress and the accumulation of redox-active metals. Since there is no specific animal model for human age-related cataract, multiple animal models must be used to evaluate potential therapies that may delay and/or prevent cataract formation.Proof of concept studies were conducted to evaluate 4-(5-hydroxypyrimidin-2-yl)-N,N-dimethyl-3,5-dioxopiperazine-1-sulfonamide (compound 4) and 4-(5-hydroxy-4,6-dimethoxypyrimidin-2-yl)-N,N-dimethyl-3,5-dioxopiperazine-1-sulfonamide (compound 8), multi-functional antioxidants that can independently chelate redox metals and quench free radicals, on their ability to delay the progression of diabetic "sugar" cataracts and gamma radiation-induced cataracts. Prior to 15 Gy of whole head irradiation, select groups of Long Evans rats received either diet containing compound 4 or 8, or a single i.p. injection of panthethine, a radioprotective agent. Compared to untreated, irradiated rats, treatment with pantethine, 4 and 8 delayed initial lens changes by 4, 47, and 38 days, respectively, and the average formation of posterior subcapsular opacities by 23, 53 and 58 days, respectively. In the second study, select groups of diabetic Sprague Dawley rats were administered chow containing compounds 4, 8 or the aldose reductase inhibitor AL1576. As anticipated, treatment with AL1576 prevented cataract by inhibiting sorbitol formation in the lens. However, compared to untreated rats, compounds 4 and 8 delayed vacuole formation by 20 days and 12 days, respectively, and cortical cataract formation by 8 and 3 days, respectively, without reducing lenticular sorbitol. Using in vitro lens culture in 30 mM xylose to model diabetic "sugar" cataract formation, western blots confirmed that multi-functional antioxidants reduced endoplasmic reticulum stress.Multi-functional antioxidants delayed cataract formation in two diverse rat models. These studies provide a proof of concept that a general cataract treatment focused on reducing oxidative stress instead of a specific mechanism of cataractogenesis can be developed

How does ethical leadership trickle down? Test of an integrative dual-process model

Although the trickle-down effect of ethical leadership has been documented in the literature, its underlying mechanism still remains largely unclear. To address this gap, we develop a cross-level dual-process model to explain how the effect occurs. Drawing on social learning theory, we hypothesize that the ethical leadership of high-level managers could cascade to middle-level supervisors via its impact on middle-level supervisors’ two ethical expectations. Using a sample of 69 middle-level supervisors and 381 subordinates across 69 sub-branches from a large banking firm in China, we found that middle-level supervisors’ ethical efficacy expectation and unethical behavior–punishment expectation (as one form of ethical outcome expectations) accounted for the trickle-down effect. The explanatory role of middle-level supervisors’ ethical behavior–reward expectation (as the other form of ethical outcome expectations), however, was not supported. The theoretical and practical implications are discussed

Revealing and re-valuing cultural intermediaries in the 'real' creative city : insights from a diary-keeping exercise

From critics and cultural commentators to professionals who mediate between production and consumption for economic gain, the term ‘cultural intermediaries’ has been variously interpreted over recent decades. Often framed as self-interested entrepreneurs seeking to maximise economic value the wider set of political, social and moral motivations of cultural workers have been often overlooked.Drawing on a diary-keeping exercise with 20 cultural workers in Greater Manchester and Birmingham in 2013, we suggest that a ‘third’ wave of studies of cultural intermediaries is needed, which emphasises socially engaged practices and non-economic values. The study reveals a field of cultural work which mediates between professionalised and everyday cultural ecologies, one which is often invisible and undervalued. Combining methodological insights into diary-keeping as a reflexive exercise, the study suggests that we should reclaim and re-value the term ‘cultural intermediary’ to make visible this socially grounded cultural work, particularly in the current era of austerity and cuts to the arts in England